home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / contsens / goodcsfout < prev    next >
Text File  |  1991-02-14  |  6KB  |  142 lines
  1. [
  2. (DefTyp ("counter.gl", 5) "B_0" (TypAtom "B_0")),
  3. (DefVal ("counter.gl", 7) "jkff_1" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypProd [(TypAtom "B_0"), (TypAtom "B_0")])) (VAtom "jkff_1"))),
  4. (DefVal ("counter.gl", 8) "and_2" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "and_2"))),
  5. (DefVal ("counter.gl", 9) "or_3" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "or_3"))),
  6. (DefVal ("counter.gl", 10) "buf_4" (VType (TypUni (TypAtom "B_0") (TypAtom "B_0")) (VAtom "buf_4"))),
  7. (DefVal ("counter.gl", 11) "nand_5" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "nand_5"))),
  8. (
  9. DefVal
  10. ("counter.gl", 14)
  11. "counterstage_6"
  12. (
  13. VType
  14. (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0")]) (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]))
  15. (
  16. VSysLambda
  17. (FpList [(FpName "d_17"), (FpName "preset_18"), (FpName "toggle_19"), (FpName "nclr_20")])
  18. (
  19. VWhere
  20. [
  21. (DefCon ("counter.gl", 18) (VSym ("counter.gl", 18) "ja_21") (VSysApply (VSym ("counter.gl", 18) "nand_5") (VList [(VSym ("counter.gl", 18) "ka_22"), (VSym ("counter.gl", 18) "preset_18")]))),
  22. (DefCon ("counter.gl", 19) (VSym ("counter.gl", 19) "ka_22") (VSysApply (VSym ("counter.gl", 19) "nand_5") (VList [(VSym ("counter.gl", 19) "d_17"), (VSym ("counter.gl", 19) "nclr_20")]))),
  23. (DefCon ("counter.gl", 20) (VSym ("counter.gl", 20) "ea_23") (VSysApply (VSym ("counter.gl", 20) "or_3") (VList [(VSym ("counter.gl", 20) "toggle_19"), (VSym ("counter.gl", 20) "preset_18")])))
  24. ]
  25. (
  26. VSysApply
  27. (VSym ("counter.gl", 16) "jkff_1")
  28. (
  29. VList
  30. [(VSysApply (VSym ("counter.gl", 16) "and_2") (VList [(VSym ("counter.gl", 16) "ja_21"), (VSym ("counter.gl", 16) "ea_23")])), (VSysApply (VSym ("counter.gl", 16) "and_2") (VList [(VSym ("counter.gl", 16) "ka_22"), (VSym ("counter.gl", 16) "ea_23")]))]
  31. )
  32. )
  33. )
  34. )
  35. )
  36. ),
  37. (
  38. DefVal
  39. ("counter.gl", 23)
  40. "mand_8"
  41. (
  42. VType
  43. (TypFun (TypBind "n_7") (TypUni (TypPwr (TypAtom "B_0") (VSym ("counter.gl", 23) "n_7")) (TypAtom "B_0")))
  44. (
  45. VMacAlts
  46. [
  47. (VMacLambda (FpInt 2) (VSysLambda (FpName "eta_25") (VSysApply (VSym ("counter.gl", 24) "and_2") (VSym ("no_file", 0) "eta_25")))),
  48. (
  49. VMacLambda
  50. (FpName "n_26")
  51. (
  52. VSysLambda
  53. (FpComp (FpName "x_30") (FpName "xr_29"))
  54. (VSysApply (VSym ("counter.gl", 25) "and_2") (VList [(VSym ("counter.gl", 25) "x_30"), (VSysApply (VValApply (VSym ("counter.gl", 25) "mand_8") (VBuiltin "-2" [(VSym ("counter.gl", 25) "n_26"), (VInt 1)])) (VSym ("counter.gl", 25) "xr_29"))]))
  55. )
  56. )
  57. ]
  58. )
  59. )
  60. ),
  61. (
  62. DefVal
  63. ("counter.gl", 28)
  64. "countr_9"
  65. (
  66. VType
  67. (TypUni (TypProd [(TypPwr (TypAtom "B_0") (VInt 4)), (TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0")]) (TypProd [(TypAtom "B_0"), (TypPwr (TypAtom "B_0") (VInt 4))]))
  68. (
  69. VSysLambda
  70. (FpList [(FpList [(FpName "d3_51"), (FpName "d2_52"), (FpName "d1_53"), (FpName "d0_54")]), (FpName "nload_55"), (FpName "nclear_56"), (FpName "enap_57"), (FpName "enat_58")])
  71. (
  72. VWhere
  73. [
  74. (
  75. DefCon
  76. ("counter.gl", 32)
  77. (VSym ("counter.gl", 32) "carry_59")
  78. (VSysApply (VValApply (VSym ("counter.gl", 32) "mand_8") (VInt 5)) (VList [(VSym ("counter.gl", 32) "q3_60"), (VSym ("counter.gl", 32) "q2_61"), (VSym ("counter.gl", 32) "q1_62"), (VSym ("counter.gl", 32) "q0_63"), (VSym ("counter.gl", 32) "enat_58")]))
  79. ),
  80. (
  81. DefCon
  82. ("counter.gl", 33)
  83. (VList [(VSym ("counter.gl", 33) "q3_60"), (VSym ("counter.gl", 33) "q3'_64")])
  84. (
  85. VSysApply
  86. (VSym ("counter.gl", 33) "counterstage_6")
  87. (
  88. VList
  89. [
  90. (VSym ("counter.gl", 33) "d3_51"),
  91. (VSym ("counter.gl", 33) "preset_65"),
  92. (VSysApply (VValApply (VSym ("counter.gl", 33) "mand_8") (VInt 4)) (VList [(VSym ("counter.gl", 33) "q2_61"), (VSym ("counter.gl", 33) "q1_62"), (VSym ("counter.gl", 33) "q0_63"), (VSym ("counter.gl", 33) "en_66")])),
  93. (VSym ("counter.gl", 33) "nclr_67")
  94. ]
  95. )
  96. )
  97. ),
  98. (
  99. DefCon
  100. ("counter.gl", 34)
  101. (VList [(VSym ("counter.gl", 34) "q2_61"), (VSym ("counter.gl", 34) "q2'_68")])
  102. (
  103. VSysApply
  104. (VSym ("counter.gl", 34) "counterstage_6")
  105. (
  106. VList
  107. [
  108. (VSym ("counter.gl", 34) "d2_52"),
  109. (VSym ("counter.gl", 34) "preset_65"),
  110. (VSysApply (VValApply (VSym ("counter.gl", 34) "mand_8") (VInt 3)) (VList [(VSym ("counter.gl", 34) "q1_62"), (VSym ("counter.gl", 34) "q0_63"), (VSym ("counter.gl", 34) "en_66")])),
  111. (VSym ("counter.gl", 34) "nclr_67")
  112. ]
  113. )
  114. )
  115. ),
  116. (
  117. DefCon
  118. ("counter.gl", 35)
  119. (VList [(VSym ("counter.gl", 35) "q1_62"), (VSym ("counter.gl", 35) "q1'_69")])
  120. (
  121. VSysApply
  122. (VSym ("counter.gl", 35) "counterstage_6")
  123. (VList [(VSym ("counter.gl", 35) "d1_53"), (VSym ("counter.gl", 35) "preset_65"), (VSysApply (VSym ("counter.gl", 35) "and_2") (VList [(VSym ("counter.gl", 35) "q0_63"), (VSym ("counter.gl", 35) "en_66")])), (VSym ("counter.gl", 35) "nclr_67")])
  124. )
  125. ),
  126. (
  127. DefCon
  128. ("counter.gl", 36)
  129. (VList [(VSym ("counter.gl", 36) "q0_63"), (VSym ("counter.gl", 36) "q0'_70")])
  130. (VSysApply (VSym ("counter.gl", 36) "counterstage_6") (VList [(VSym ("counter.gl", 36) "d0_54"), (VSym ("counter.gl", 36) "preset_65"), (VSym ("counter.gl", 36) "en_66"), (VSym ("counter.gl", 36) "nclr_67")]))
  131. ),
  132. (DefCon ("counter.gl", 37) (VSym ("counter.gl", 37) "preset_65") (VSysApply (VSym ("counter.gl", 37) "nand_5") (VList [(VSym ("counter.gl", 37) "nload_55"), (VSym ("counter.gl", 37) "nclr_67")]))),
  133. (DefCon ("counter.gl", 38) (VSym ("counter.gl", 38) "nclr_67") (VSysApply (VSym ("counter.gl", 38) "buf_4") (VSym ("counter.gl", 38) "nclear_56"))),
  134. (DefCon ("counter.gl", 39) (VSym ("counter.gl", 39) "en_66") (VSysApply (VSym ("counter.gl", 39) "and_2") (VList [(VSym ("counter.gl", 39) "enap_57"), (VSym ("counter.gl", 39) "enat_58")])))
  135. ]
  136. (VList [(VSym ("counter.gl", 30) "carry_59"), (VList [(VSym ("counter.gl", 30) "q3_60"), (VSym ("counter.gl", 30) "q2_61"), (VSym ("counter.gl", 30) "q1_62"), (VSym ("counter.gl", 30) "q0_63")])])
  137. )
  138. )
  139. )
  140. )
  141. ]
  142.